HAIL: A High-Availability and Integrity Layer for Cloud Storage

We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that permits a set of servers to prove to a client that a stored file is intact and retrievable. HAIL strengthens, formally unifies, and streamlines distinct approaches from the cryptographic and distributed-systems communities. Proofs in HAIL are efficiently computable by servers and highly compact---typically tens or hundreds of bytes, irrespective of file size. HAIL cryptographically verifies and reactively reallocates file shares. It is robust against an active, mobile adversary, i.e., one that may progressively corrupt the full set of servers. We propose a strong, formal adversarial model for HAIL, and rigorous analysis and parameter choices. We show how HAIL improves on the security and efficiency of existing tools, like Proofs of Retrievability (PORs) deployed on individual servers. We also report on a prototype implementation

Proofs of retrievability: theory and implementation,”

Abstract A proof of retrievability (POR) is a compact proof by a file system (prover) to a client (verifier) that a target file F is intact, in the sense that the client can fully recover it. As PORs incur lower communication complexity than transmission of F itself, they are an attractive building block for high-assurance remote storage systems. In this paper, we propose a theoretical framework for the design of PORs. Our framework improves the previously proposed POR constructions of Juels-Kaliski and Shacham-Waters, and also sheds light on the conceptual limitations of previous theoretical models for PORs. It supports a fully Byzantine adversarial model, carrying only the restriction-fundamental to all PORs-that the adversary's error rate be bounded when the client seeks to extract F . Our techniques support efficient protocols across the full possible range of , up to non-negligibly close to 1. We propose a new variant on the Juels-Kaliski protocol and describe a prototype implementation. We demonstrate practical encoding even for files F whose size exceeds that of client main memory

Uniformity of V minus Near Infrared Color Evolution of Type Ia Supernovae, and Implications for Host Galaxy Extinction Determination

From an analysis of SNe 1972E, 1980N, 1981B, 1981D, 1983R, 1998bu, 1999cl, and 1999cp we find that the intrinsic V-K colors of Type Ia SNe with multi-color light curve shape (MLCS) parameter -0.4 < Delta < +0.2 suggest a uniform color curve. V-K colors become bluer linearly with time from roughly one week before B-band maximum until one week after maximum, after which they redden linearly until four weeks after maximum. V-H colors exhibit very similar color evolution. V-J colors exhibit slightly more complex evolution, with greater scatter. The existence of V minus near infrared color relations allows the construction of near infrared light curve templates that are an improvement on those of Elias et al. (1985). We provide optical BVRI and infrared JHK photometry of the Type Ia supernovae 1999aa, 1999cl, and 1999cp. SN 1999aa is an overluminous "slow decliner" (with Delta = -0.47 mag). SN 1999cp is a moderately bright SN unreddened in its host. SN 1999cl is extremely reddened in its host. The V minus near infrared colors of SN 1999cl yield A_V = 2.01 +/- 0.11 mag. This leads to a distance for its host galaxy (M 88) in agreement with other distance measurements for members of the Virgo cluster.Comment: 57 pages, 13 postscript figures, to appear in the August 20, 2000, issue of the Astrophysical Journal. Contains updated references and a number of minor corrections dealt with when page proofs were correcte

How to tell if your cloud files are vulnerable to drive crashes

This paper presents a new challenge--verifying that a remote server is storing a file in a fault-tolerant manner, i.e., such that it can survive hard-drive failures. We describe an approach called the Remote Assessment of Fault Tolerance (RAFT). The key technique in a RAFT is to measure the time taken for a server to respond to a read request for a collection of file blocks. The larger the number of hard drives across which a file is distributed, the faster the read-request response. Erasure codes also play an important role in our solution. We describe a theoretical framework for RAFTs and offer experimental evidence that RAFTs can work in practice in several settings of interest

Introduction of the Tools for Economic Analysis of Patient Management Interventions in Heart Failure Costing Tool: A User-Friendly Spreadsheet Program to Estimate Costs of Providing Patient-Centered Interventions

Background—Patient-centered health care interventions, such as heart failure disease management programs, are under increasing pressure to demonstrate good value. Variability in costing methods and assumptions in economic evaluations of such interventions limit the comparability of cost estimates across studies. Valid cost estimation is critical to conducting economic evaluations and for program budgeting and reimbursement negotiations. Methods and Results—Using sound economic principles, we developed the Tools for Economic Analysis of Patient Management Interventions in Heart Failure (TEAM-HF) Costing Tool, a spreadsheet program that can be used by researchers and health care managers to systematically generate cost estimates for economic evaluations and to inform budgetary decisions. The tool guides users on data collection and cost assignment for associated personnel, facilities, equipment, supplies, patient incentives, miscellaneous items, and start-up activities. The tool generates estimates of total program costs, cost per patient, and cost per week and presents results using both standardized and customized unit costs for side-by-side comparisons. Results from pilot testing indicated that the tool was well-formatted, easy to use, and followed a logical order. Cost estimates of a 12-week exercise training program in patients with heart failure were generated with the costing tool and were found to be consistent with estimates published in a recent study. Conclusions—The TEAM-HF Costing Tool could prove to be a valuable resource for researchers and health care managers to generate comprehensive cost estimates of patient-centered interventions in heart failure or other conditions for conducting high-quality economic evaluations and making well-informed health care management decisions

The fast declining Type Ia supernova 2003gs, and evidence for a significant dispersion in near-infrared absolute magnitudes of fast decliners at maximum light

We obtained optical photometry of SN 2003gs on 49 nights, from 2 to 494 days after T(B_max). We also obtained near-IR photometry on 21 nights. SN 2003gs was the first fast declining Type Ia SN that has been well observed since SN 1999by. While it was subluminous in optical bands compared to more slowly declining Type Ia SNe, it was not subluminous at maximum light in the near-IR bands. There appears to be a bimodal distribution in the near-IR absolute magnitudes of Type Ia SNe at maximum light. Those that peak in the near-IR after T(B_max) are subluminous in the all bands. Those that peak in the near-IR prior to T(B_max), such as SN 2003gs, have effectively the same near-IR absolute magnitudes at maximum light regardless of the decline rate Delta m_15(B). Near-IR spectral evidence suggests that opacities in the outer layers of SN 2003gs are reduced much earlier than for normal Type Ia SNe. That may allow gamma rays that power the luminosity to escape more rapidly and accelerate the decline rate. This conclusion is consistent with the photometric behavior of SN 2003gs in the IR, which indicates a faster than normal decline from approximately normal peak brightness.Comment: 41 pages, 13 figures, to be published in the December, 2009, issue of the Astronomical Journa

I’m not joking! The strategic use of humour in stories of racism

This study examines the use of humour by Black football coaches in England as a rhetorical device against racism. The paper draws on humour studies and critical race theory to illustrate signs of humour as defence. Research on humour has popularly explored the ambiguities and qualities of humour and, in particular, joke telling through its use as a foil to stem racial ills is less well understood. Where previous work has focused on explicit joke telling/banter in sport, this paper examines how techniques of humour are used in everyday racialised experiences. The use of techniques of humour enables feelings of subordination, and humiliation to be transposed into forms of resistance, while its physiological and psychological benefits can lead to inter-racial relief and catharsis. The paper concludes that techniques of humour remain underexplored as important tools of resistance to everyday racism

Protomers of Benzocaine: Solvent and Permittivity Dependence

The immediate environment of a molecule can have a profound influence on its properties. Benzocaine, the ethyl ester of para-aminobenzoic acid, which finds an application as a local anesthetic (LA), is found to adopt in its protonated form at least two populations of distinct structures in the gas phase and their relative intensities strongly depend on the properties of the solvent used in the electrospray ionization (ESI) process. Here we combine IR-vibrational spectroscopy with ion mobility-mass spectrometry (IM-MS) to yield gas-phase IR spectra of simultaneously m/z and drift-time resolved species of benzocaine. The results allow for an unambiguous identification of two protomeric species - the N- and O-protonated form. Density functional theory (DFT) calculations link these structures to the most stable solution and gas-phase structures, respectively, with the electric properties of the surrounding medium being the main determinant for the preferred protonation site. The fact that the N-protonated form of benzocaine can be found in the gas phase is owed to kinetic trapping of the solution phase structure during transfer into the experimental setup. These observations confirm earlier studies on similar molecules where N- and O-protonation has been suggested

Making Sense of Blockchain Applications:A Typology for HCI

Blockchain is an emerging infrastructural technology that is proposed to fundamentally transform the ways in which people transact, trust, collaborate, organize and identify themselves. In this paper, we construct a typology of emerging blockchain applications, consider the domains in which they are applied, and identify distinguishing features of this new technology. We argue that there is a unique role for the HCI community in linking the design and application of blockchain technology towards lived experience and the articulation of human values. In particular, we note how the accounting of transactions, a trust in immutable code and algorithms, and the leveraging of distributed crowds and publics around vast interoperable databases all relate to longstanding issues of importance for the field. We conclude by highlighting core conceptual and methodological challenges for HCI researchers beginning to work with blockchain and distributed ledger technologies

Reclaiming the humanity in personality Disorder.

This paper provides a commentary upon the nursing care of individuals diagnosed with personality disorder and associated education courses. The discussion focuses upon recent policy trends in the UK as a point of departure. This policy discourse is critical of mainstream mental health services in previously operating to exclude such individuals. One of the consequences has been a recent growth in interest in relevant training courses, many of which devote significant attention to staff attitudes regarding this client group. Various previous researchers and commentators have remarked upon the implications for practice of a perceived negative attitude among care staff. We reflect upon our own anecdotal experience of developing and delivering new university-based courses for practitioners working in the field of personality disorder to offer a particular critique of the UK context, in which this policy, training, and practice is framed. Social constructionist theories are drawn on to offer insights into public and practitioner discourse and the possible effects on therapeutic relationships. The available discourse constructs individuals with a diagnosis of personality disorder as essentially different from other people. We argue that staff training and practice development initiatives are likely to be more successful if such discourse is challenged, and attempts are made in therapeutic encounters to recognize shared characteristics and positive attributes as much as perceived difference and negative attributes. We refer to this as a re-engagement with common humanity. Despite the singular national context, the discursive themes explored are not necessarily restricted to the UK